Symposium on a New Approach to Scientific Computation : 1982 : IBM Thomas J. Watson Research Center's books list